perm filename FAN[NOT,DBL]1 blob
sn#149364 filedate 1975-03-12 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00005 00003 .LTR(Helder Coellio)
C00007 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50
.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT ≤ 3 THEN "≥" ELSE "fαf" ⊃;
.AT "fi" ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl" ⊂ IF THISFONT ≤ 3 THEN "∨" ELSE "fαl" ⊃;
.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃
.MACRO LTR(name,dat) ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or 415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃
.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
Douglas B. Lenat
Artificial Intelligence Laboratory
Stanford University
Stanford, California 94305
.END APART ⊃
.MACRO DBL ⊂ GROUP BEGIN SKIP 2; NOFILL CENTER
Sincerely,
.SKIP 5
Douglas B. Lenat
.END APART ⊃
.portion main
.page←1
.LTR(Helder Coellio)
Department of Computational Logic
School of Artificial Intelligence
9 Hope Park Square
Meadow Lane, Edinburgh EH8 9NW, Scotland
.FAD
Dear Helder:
I am happy to send you the draft you requested. Also enclosed is a draft for a
related paper, to be presented at the Fourth International Joint Conference on
Artificial Intelligence. Since the latter paper is briefer, more descriptive,
and more elementary, I suggest you read it first. My current research is in
harnassing BEINGs to make simple "discoveries" in elementary mathematics.
If your work is relevant to mine, please keep me informed as to what you are
pursuing.
.DBL